Definition and Properties of Direct Sum Decomposition of Groups1
نویسندگان
چکیده
In this article, direct sum decomposition of group is mainly discussed. In the second section, support of element of direct product group is defined and its properties are formalized. It is formalized here the fact that an element of direct product group belongs to its direct sum if and only if support of the element is finite. In the third section, product map and sum map are prepared. In the fourth section, internal and external direct sum are defined. In the last section, an equivalent form of internal direct sum is proved. We referred to [23], [22], [8] and [18] in the formalization.
منابع مشابه
Equivalent Expressions of Direct Sum Decomposition of Groups1
In this article, the equivalent expressions of the direct sum decomposition of groups are mainly discussed. In the first section, we formalize the fact that the internal direct sum decomposition can be defined as normal subgroups and some of their properties. In the second section, we formalize an equivalent form of internal direct sum of of commutative groups. In the last section, we formalize...
متن کاملOn the decomposition of noncosingular $sum$-lifting modules
Let $R$ be a right artinian ring or a perfect commutativering. Let $M$ be a noncosingular self-generator $sum$-liftingmodule. Then $M$ has a direct decomposition $M=oplus_{iin I} M_i$,where each $M_i$ is noetherian quasi-projective and eachendomorphism ring $End(M_i)$ is local.
متن کاملOn Direct Sum of Branches in Hyper BCK-algebras
In this paper, the notion of direct sum of branches in hks is introduced and some related properties are investigated. Applying this notion to lower hyper $BCK$-semi lattice, a necessary condition for a hi to be prime is given. Some properties of hkc are studied. It is proved that if $H$ is a hkc and $[a)$ is finite for any $ain H$, then $mid Aut(H)mid=1$.
متن کاملA characterization of finitely generated multiplication modules
Let $R$ be a commutative ring with identity and $M$ be a finitely generated unital $R$-module. In this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. Moreover, we investigate some conditions which imply that the module $M$ is the direct sum of some cyclic modules and free modules. Then some properties of Fitting ideals o...
متن کاملUpdating finite element model using frequency domain decomposition method and bees algorithm
The following study deals with the updating the finite element model of structures using the operational modal analysis. The updating process uses an evolutionary optimization algorithm, namely bees algorithm which applies instinctive behavior of honeybees for finding food sources. To determine the uncertain updated parameters such as geometry and material properties of the structure, local and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 23 شماره
صفحات -
تاریخ انتشار 2015